Dynamic logic - PDFSEARCH.IO - Document Search Engine

Dynamic logic
Results: 262

#	Item
181	A Partition Function Algorithm for Nucleic Acid Secondary Structure Including Pseudoknots ROBERT M. DIRKS,1 NILES A. PIERCE2 1 Department of Chemistry, California Institute of Technology, Pasadena, California 91125 Add to Reading List Source URL: piercelab.caltech.edu Language: English - Date: 2010-09-08 02:56:26 RNA Computing Mathematical logic Theoretical computer science Recursion Pseudoknot Dynamic programming Nucleic acid secondary structure Algorithm Computer programming Mathematics Programming idioms
182	An Algorithm for Computing Nucleic Acid Base-Pairing Probabilities Including Pseudoknots ROBERT M. DIRKS,1 NILES A. PIERCE2 1 Department of Chemistry, California Institute of Technology, Pasadena, California 91125 Add to Reading List Source URL: piercelab.caltech.edu Language: English - Date: 2010-09-08 02:56:26 Biology Genetics Pseudoknot Nucleic acid secondary structure Dynamic programming NUPACK Partition Algorithm Recursion Mathematics RNA Mathematical logic
183	Stanford Encyclopedia of Philosophy: A Dynamic Reference Work ∗ † Add to Reading List Source URL: stanford.library.usyd.edu.au Language: English - Date: 2004-05-06 13:51:35 Logic Encyclopedia Reference Knowledge Online encyclopedias Stanford Encyclopedia of Philosophy Information
184	Dynamic and Interactive Synthesis of Code Snippets Joel Galenson Electrical Engineering and Computer Sciences University of California at Berkeley Add to Reading List Source URL: www.eecs.berkeley.edu Language: English - Date: 2014-08-20 12:32:51 Mathematical logic Theoretical computer science Tree Computer music C Source code Software bug Computing Software engineering Algorithm
185	TEMPORALLY REDUNDANT LATCH FOR PREVENTING SINGLE EVENT DISRUPTIONS IN SEQUENTIAL INTEGRATED CIRCUITS Dr. David G. Mavis Paul H. Eaton Add to Reading List Source URL: klabs.org Language: English - Date: 2009-01-19 23:25:20 Electromagnetism Computer memory Integrated circuits Logic families Single event upset Flip-flop Radiation hardening Dynamic voltage scaling CMOS Electronic engineering Electronics Digital electronics
186	Toshihiko Hosoya Profile: Coding rules and the dynamic logic of interpreting visual information By Geoffrey Montgomery Originally trained as a physicist at Tokyo University, Toshihiko Hosoya is an excellent Add to Reading List Source URL: www.hfsp.org Language: English - Date: 2011-08-30 08:02:06 Histology Visual system Neurons Nervous system Sensory system Receptive field Retina Biological neural network Visual perception Anatomy Biology Mind
187	Algorithms Wikibooks.org March 15, 2013 Add to Reading List Source URL: upload.wikimedia.org Language: English - Date: 2013-10-05 14:36:00 Search algorithms Operations research Mathematical optimization Algorithms Mathematical logic String Dynamic programming Binary search algorithm Divide and conquer algorithm Mathematics Applied mathematics Theoretical computer science
188	August 2014 • Volume 7 • Number 6 To Foster and Nurture Girls’ Interest in Mathematics An Interview with Christine Berkesch Zamaere Summer Fun Solutions: Solutions: Add to Reading List Source URL: www.girlsangle.org Language: English - Date: 2014-09-01 11:13:49 Applied mathematics Algorithm Mathematical logic Theoretical computer science Permutation Longest increasing subsequence Mathematics Combinatorics Dynamic programming
189	Automating Rendezvous and Proxy Selection in Sensornets David Chu Joseph M. Hellerstein EECS Computer Science Division Add to Reading List Source URL: db.cs.berkeley.edu Language: English - Date: 2010-01-05 13:48:10 Formal languages Mathematical notation Logic in computer science Rewriting Dynamic programming Finitary relation Tuple Mathematics Theoretical computer science Mathematical logic
190	Quantified Differential Dynamic Logic for Distributed Hybrid Systems? Andr´e Platzer Carnegie Mellon University, Computer Science Department, Pittsburgh, PA, USA [removed] Add to Reading List Source URL: symbolaris.com Language: English - Date: 2014-08-04 10:07:43 Metalogic Systems theory Symbol Interpretation Dynamical system Structure First-order logic Hybrid system Model theory Logic Mathematical logic

UPDATE